AbstractAlgebra.Generic.Frac{Nemo.QQMPolyRingElem}[N, I, beta, alpha*S, lambda*alpha, lambda + alpha, alpha*I + alpha*E]
